HIMMO - A lightweight collusion-resistant key predistribution scheme

In this paper we introduce HIMMO as a truly practical and lightweight collusion-resistant key predistribution scheme. The scheme is reminiscent ofBlundo et al\u27s elegant key predistribution scheme, in which the master key is a symmetric bivariate polynomial over a finite field, and a unique common key is defined for every pair of nodes as the evaluation of the polynomial at the finite field elements associated with the nodes. Unlike Blundo et al\u27s scheme, however, which completely breaks down once the number of colluding nodes exceeds the degree of the polynomial, the new scheme is designed to tolerateany number of colluding nodes. Key establishment in HIMMO amounts to the evaluation of a single low-degree univariate polynomial involving reasonably sized numbers, thus exhibiting excellent performance even for constrained devices such as 8-bit CPUs, as we demonstrate. On top of this, the scheme is very versatile, as it not only supports implicit authentication of the nodes like any key predistribution scheme, but also supports identity-based key predistribution in a natural and efficient way. The latter property derives from the fact that HIMMO supports long node identifiers at a reasonable cost, allowing outputs of a collision-resistant hash function to be used as node identifiers. Moreover, HIMMO allows for a transparent way to split the master key between multiple parties. The new scheme is superior to any of the existing alternatives due to the intricate way it combines the use of multiple symmetric bivariate polynomials evaluated over ``different\u27\u27 finite rings. We have extensively analyzed the security of HIMMO against two attacks. For these attacks, we have identified the Hiding Information (HI) problem and the Mixing Modular Operations (MMO) problem as the underlying problems. These problems are closely related to some well-defined lattice problems, and therefore the best attacks on HIMMO are dependent on lattice-basis reduction. Based on these connections, we propose concrete values for all relevant parameters, for which we conjecture that the scheme is secure

Ligand-Based Virtual Screening and Molecular Docking of Benzimidazoles as Potential Inhibitors of Triosephosphate Isomerase Identified New Trypanocidal Agents

Trypanosoma cruzi (T. cruzi) is a parasite that affects humans and other mammals. T. cruzi depends on glycolysis as a source of adenosine triphosphate (ATP) supply, and triosephosphate isomerase (TIM) plays a key role in this metabolic pathway. This enzyme is an attractive target for the design of new trypanocidal drugs. In this study, a ligand-based virtual screening (LBVS) from the ZINC15 database using benzimidazole as a scaffold was accomplished. Later, a molecular docking on the interface of T. cruzi TIM (TcTIM) was performed and the compounds were grouped by interaction profiles. Subsequently, a selection of compounds was made based on cost and availability for in vitro evaluation against blood trypomastigotes. Finally, the compounds were analyzed by molecular dynamics simulation, and physicochemical and pharmacokinetic properties were determined using SwissADME software. A total of 1604 molecules were obtained as potential TcTIM inhibitors. BP2 and BP5 showed trypanocidal activity with half-maximal lytic concentration (LC50) values of 155.86 and 226.30 µM, respectively. Molecular docking and molecular dynamics simulation analyzes showed a favorable docking score of BP5 compound on TcTIM. Additionally, BP5 showed a low docking score (−5.9 Kcal/mol) on human TIM compared to the control ligand (−7.2 Kcal/mol). Both compounds BP2 and BP5 showed good physicochemical and pharmacokinetic properties as new anti-T. cruzi agents. View Full-Tex

Attacks and parameter choices in HIMMO

The HIMMO scheme has been introduced as a lightweight collusion-resistant key pre-distribution scheme, with excellent efficiency in terms of bandwidth, energy consumption and computation time. As its cryptanalysis relies on lattice techniques, HIMMO is also an interesting quantum-safe candidate. Unlike the schemes by Blom, by Matsumoto and Imai, and by Blundo {\em et al}, which break down once the number of colluding nodes exceeds a given threshold, it aims at tolerating any number of colluding nodes. In 2015, a contest for the verification of the scheme was held. During the contest, a method was developed to guess a key by finding an approximate solution of one of the problems underlying the scheme. This attack involves finding a short vector in a lattice of dimension linear in a system parameter $\alpha$ and allowed key recovery for several challenges. Thwarting this attack by increasing $\alpha$ would lead to a significant performance degradation, as CPU and memory requirements for the implementation of the scheme scale quadratically in $\alpha$. This paper describes a generalization of HIMMO parameters that allows configuring the scheme such that both its performance and the dimension of the lattice involved in the attack grow linearly in $\alpha$. Two attacks inspired by the one developed in the contest are described, and the impact of those attacks for different parameter choices is discussed. Parameters choices are described that thwart existing attacks while enabling high performance implementations of the scheme

Gene-environment interaction analysis of redox-related metals and genetic variants with plasma metabolic patterns in a general population from Spain: The Hortega Study

Background: Limited studies have evaluated the joint influence of redox-related metals and genetic variation on metabolic pathways. We analyzed the association of 11 metals with metabolic patterns, and the interacting role of candidate genetic variants, in 1145 participants from the Hortega Study, a population-based sample from Spain. Methods: Urine antimony (Sb), arsenic, barium (Ba), cadmium (Cd), chromium (Cr), cobalt (Co), molybdenum (Mo) and vanadium (V), and plasma copper (Cu), selenium (Se) and zinc (Zn) were measured by ICP-MS and AAS, respectively. We summarized 54 plasma metabolites, measured with targeted NMR, by estimating metabolic principal components (mPC). Redox-related SNPs (N = 291) were measured by oligo-ligation assay. Results: In our study, the association with metabolic principal component (mPC) 1 (reflecting non-essential and essential amino acids, including branched chain, and bacterial co-metabolism versus fatty acids and VLDL subclasses) was positive for Se and Zn, but inverse for Cu, arsenobetaine-corrected arsenic (As) and Sb. The association with mPC2 (reflecting essential amino acids, including aromatic, and bacterial co-metabolism) was inverse for Se, Zn and Cd. The association with mPC3 (reflecting LDL subclasses) was positive for Cu, Se and Zn, but inverse for Co. The association for mPC4 (reflecting HDL subclasses) was positive for Sb, but inverse for plasma Zn. These associations were mainly driven by Cu and Sb for mPC1; Se, Zn and Cd for mPC2; Co, Se and Zn for mPC3; and Zn for mPC4. The most SNP-metal interacting genes were NOX1, GSR, GCLC, AGT and REN. Co and Zn showed the highest number of interactions with genetic variants associated to enriched endocrine, cardiovascular and neurological pathways. Conclusions: Exposures to Co, Cu, Se, Zn, As, Cd and Sb were associated with several metabolic patterns involved in chronic disease. Carriers of redox-related variants may have differential susceptibility to metabolic alterations associated to excessive exposure to metals.This work was supported by the Strategic Action for Research in Health sciences [CP12/03080, PI15/00071, PI10/0082, PI13/01848, PI14/00874, PI16/01402, PI21/00506 and PI11/00726], CIBER Fisio patología Obesidad y Nutrición (CIBEROBN) (CIBER-02-08-2009, CB06/03 and CB12/03/30,016), the State Agency for Research (PID2019-108973RB- C21 and C22), the Valencia Government (GRUPOS 03/101; PROMETEO/2009/029 and ACOMP/2013/039, IDI FEDER/2021/072 and GRISOLIAP/2021/119), the Castilla-Leon Government (GRS/279/A/08) and European Network of Excellence Ingenious Hypercare (EPSS-037093) from the European Commission. The Strategic Action for Research in Health sciences, CIBERDEM and CIBEROBN are initiatives from Carlos III Health Institute Madrid and cofunded with European Funds for Regional Development (FEDER). The State Agency for Research and Carlos III Health Institute belong to the Spanish Ministry of Science and Innovation. ADR received the support of a fellowship from “la Caixa” Foundation (ID 100010434) (fellowship code “LCF/BQ/DR19/11740016”). MGP received the support of a fellowship from “la Caixa” Foundation (ID 100010434, fellowship code LCFLCF/BQ/DI18/11660001). The funding bodies had no role in the design of the study and collection, analysis, and interpretation of data and in writing the manuscript.S

On lattice profile of the elliptic curve linear congruential generators

Lattice tests are quality measures for assessing the intrinsic structure of pseudorandom number generators. Recently a new lattice test has been introduced by Niederreiter and Winterhof. In this paper, we present a general inequality that is satisfied by any periodic sequence. Then, we analyze the behavior of the linear congruential generators on elliptic curves (EC-LCG) under this new lattice test and prove that the EC-LCG passes it up to very high dimensions. We also use a result of Brandstätter and Winterhof on the linear complexity profile related to the correlation measure of order k to present lower bounds on the linear complexity profile of some binary sequences derived from the EC-LCG

Evaluación e intervención en el desarrollo de competencias éticas en estudiantes universitarios

Depto. de Antropología Social y Psicología SocialFac. de Ciencias Políticas y SociologíaFALSEsubmitte